🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✓ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

How the Lean language brings math to coding and coding to math
amazon.science·1h·
Discuss: Hacker News
🔬Lean
Relative Completeness of Incorrectness Separation Logic
arxiv.org·15h
🧠Separation Logic
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Machine Learning Fundamentals: model evaluation
dev.to·4h·
Discuss: DEV
🌊Stream Processing
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
SAT Requires Exhaustive Search
link.springer.com·23h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·12h
✅Archive Validation
Autonomous Penetration Testing: Solving Capture-the-Flag Challenges with LLMs
arxiv.org·15h
⚡Proof Automation
MLE-STAR is designed to automate machine learning pipelines with minimal human input
the-decoder.com·1d
🤖AI Curation
Why Computer Science Is No Good, Redux
cacm.acm.org·2h
🎯Performance Proofs
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·15h
⚡Proof Automation
How to build the #1 open source terminal-use agent
letta.com·45m·
Discuss: Hacker News
🖥️Modern Terminals
Briefly explained: What's behind the buzzword AI agents
heise.de·1d
🎙️Whisper
From Drift to Discipline: How Governed Cognition Makes AI a Reliable Junior Developer
hackernoon.com·21h
⚔️Lean Tactics
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Show HN: Software devs, I made a tool to make creating estimates less painful
devtimate.com·11h·
Discuss: Hacker News
⚡Proof Automation
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·4h·
Discuss: Hacker News
🐚Shell Automation
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·5h·
Discuss: Hacker News
🧪Binary Fuzzing
The hiring test that defeated AI
bitecode.dev·4h·
Discuss: Hacker News
✅Shell Verification
Proofs of the Pythagorean Theorem
cut-the-knot.org·1d·
Discuss: Hacker News
🎯Proof Tactics
Loading...Loading more...
AboutBlogChangelogRoadmap